uml is known as one of the most common methods in software engineering.since this language is semi-formal, many researches and efforts have beenperformed to transform this language into formal methods including petri nets.thus, the operation of verification and validation of the qualitative and nonfunctionalparameters could be achieved with more ability. since the majority of thereal world info...

In this paper we present a Petri-net-based approach to consider anticipated faults in real-time distributed systems. The proposed approach is based on Fuzzy Time G-Nets which is the integration of two Petri Nets extensions: Fuzzy Time Petri Net (timing Petri net extension) and G-Nets (Petri net extended with object oriented concepts). We also show that Fuzzy Time G-Nets can be used to represent...

In this paper we present a Petri-net-based approach to consider fault tolerance aspects in a modiied control track vehicle system. The proposed approach is based on Fuzzy Time G-Nets which is the integration of two Petri Nets extensions: Fuzzy Time Petri Net (timing Petri net extension) and G-Nets (Petri net extended with object oriented concepts). We also show how to model such system by means...

A Petri net is an abstract formal model of the behavior of a system and information flow. The properties, concepts, and techniques of Petri net are so as to present it as a simple and strong method for describing and analyzing information flow and systems control. Fuzzy Petri Net (FPN) is an appropriate powerful model to emulate knowledge base systems using fuzzy rules. Yet, FPN model does not ...

this ability in fuzzy uml, practically leaves the customers and market’s need without response in this important and vital area. here, the available sequence diagrams in fuzzy uml will map into fuzzy petri net. however, the formal models ability will be added to the semi-formal fuzzy uml. this formalization will add the automatic processing ability to the semi-formal fuzzy uml. further more, ...

This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...

A framework of integrated expert systems based on fuzzy Petri net, called fuzzy Petri net based expert system (FPNES) are proposed for bridge damage assessment. Major features of FPNES include: reasoning for uncertain and imprecise information; knowledge representation through the use of hierarchical fuzzy Petri nets; reasoning mechanism based on fuzzy Petri nets; and explanation of reasoning p...

Since knowledge in expert system is vague and modified frequently, expert systems are fuzzy and dynamic systems. It is very important to design a dynamic knowledge inference framework which is adjustable according to knowledge variation as human cognition and thinking. Aiming at this object, a generalized fuzzy Petri net model is proposed in this paper, it is called adaptive fuzzy Petri net (AF...

to monitor the patient behavior, data are collected from patient’s body by a medical monitoring device so as to calculate the output using embedded software. incorrect calculations may endanger the patient’s life if the software fails to meet the patient’s requirements. accordingly, the veracity of the software behavior is a matter of concern in the medicine; moreover, the data collected from t...